• Conference Object  

      Combining compile and run-time dependency resolution in Data-Driven Multithreading 

      Arandi, Samer; Michael, G.; Evripidou, Paraskevas; Kyriacou, Costas (2012)
      Threaded Data-Flow systems schedule threads based on data-availability i.e. a thread can be scheduled for execution only after all its inputs have been generated by its producer threads. This requires that all data ...
    • Article  

      On the automated implementation of time-based Paxos using the IOA compiler 

      Georgiou, Chryssis; Hadjiprocopiou, Procopis; Musiał, Peter M. (2010)
      Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...